|
|
Registros recuperados : 5 | |
1. | | MEYER, B.; WOODCOCK, J. Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions Springer eBooks. v.: digital Lecture Notes in Computer Science,4171 | |
2. | | SHANKAR, N.; WOODCOCK, J. Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings Springer eBooks. v.: digital Lecture Notes in Computer Science,5295 | |
Registros recuperados : 5 | |
|
|
Registros recuperados : 1 | |
Registros recuperados : 1 | |
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|